Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
4

Completion of a Set of Rules Modulo a Set of Equations

Année:
1986
Langue:
english
Fichier:
PDF, 5.12 MB
english, 1986
6

Drags: A compositional algebraic framework for graph rewriting

Année:
2019
Langue:
english
Fichier:
PDF, 1.80 MB
english, 2019
7

Termination and completion modulo associativity, commutativity and identity

Année:
1992
Langue:
english
Fichier:
PDF, 1.27 MB
english, 1992
8

Preface

Année:
2007
Langue:
english
Fichier:
PDF, 96 KB
english, 2007
10

Inductive-data-type systems

Année:
2002
Langue:
english
Fichier:
PDF, 198 KB
english, 2002
11

Abstract data type systems

Année:
1997
Langue:
english
Fichier:
PDF, 3.06 MB
english, 1997
13

Specification and proof in membership equational logic

Année:
2000
Langue:
english
Fichier:
PDF, 698 KB
english, 2000
14

Editorial

Année:
1987
Langue:
english
Fichier:
PDF, 124 KB
english, 1987
15

Unification in Boolean Rings and Abelian Groups

Année:
1989
Langue:
english
Fichier:
PDF, 1.26 MB
english, 1989
17

A Methodological View of Constraint Solving

Année:
1999
Langue:
english
Fichier:
PDF, 479 KB
english, 1999
18

PREFACE

Année:
1998
Fichier:
PDF, 57 KB
1998
19

Automata-Driven Automated Induction

Année:
2001
Langue:
english
Fichier:
PDF, 206 KB
english, 2001
21

On multiset orderings

Année:
1982
Langue:
english
Fichier:
PDF, 851 KB
english, 1982
22

Automatic proofs by induction in theories without constructors

Année:
1989
Langue:
english
Fichier:
PDF, 1.91 MB
english, 1989
24

From diagrammatic confluence to modularity

Année:
2012
Langue:
english
Fichier:
PDF, 279 KB
english, 2012
35

Polymorphic higher-order recursive path orderings

Année:
2007
Langue:
english
Fichier:
PDF, 372 KB
english, 2007
36

Normal Higher-Order Termination

Année:
2015
Langue:
english
Fichier:
PDF, 598 KB
english, 2015